Can we enforce full compositionality in uncertainty cak

نویسندگان

  • Didier Dubois
  • Henri Prade
چکیده

compositionality. At AAAI’93, Elkan has claimed to have a result trivializing fuzzy logic. This trivialization is based on too strong a view of equivalence in fuzzy logic and relates to a fully compositional treatment of uncertainty. Such a treatment is shown to be impossible in this paper. We emphasize the distinction between i) degrees of partial truth which are allowed to be truth functional and which pertain to gradual (or fuzzy) propositions, and ii) degrees of uncertainty which cannot be compositional with respect to all the connectives when attached to classical propositions. This distinction is exemplified by the difference between fuzzy logic and possibilistic logic. We also investigate an almost compositional uncertainty calculus, but it is shown to lack expressiveness.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Can We Enforce Full Compositionality in Uncertainty Calculi?

At AAAI'93, Elkan has claimed to have a result trivializing fuzzy logic. This trivialization is based on too strong a view of equivalence in fuzzy logic and relates to a fully compositional treatment of uncertainty. Such a treatment is shown to be impossible in this paper. We emphasize the distinction between i) degrees of partial truth which are allowed to be truth functional and which pertain...

متن کامل

Fission yeast Csk1 is a CAK-activating kinase (CAKAK).

Cell cycle progression is dependent on the sequential activity of cyclin-dependent kinases (CDKs). For full activity, CDKs require an activating phosphorylation of a conserved residue (corresponding to Thr160 in human CDK2) carried out by the CDK-activating kinase (CAK). Two distinct CAK kinases have been described: in budding yeast Saccharomyces cerevisiae, the Cak1/Civ1 kinase is responsible ...

متن کامل

The Cdk-Activating Kinase (CAK) from Budding Yeast

Activation of the cyclin-dependent kinases to promote cell cycle progression requires their association with cyclins as well as phosphorylation of a threonine (residue 161 in human p34cdc2). This phosphorylation is carried out by CAK, the Cdk-activating kinase. We have purified and cloned CAK from S. cerevisiae. Unlike CAKs from other organisms, Cak1p is active as a monomer, has full activity w...

متن کامل

Proving Concurrent Noninterference

We perform a formal analysis of compositionality techniques for proving possibilistic noninterference for a while language with parallel composition. We develop a uniform framework where we express a wide range of noninterference variants from the literature and compare them w.r.t. their contracts: the strength of the security properties they ensure weighed against the harshness of the syntacti...

متن کامل

Mms19 is a mitotic gene that permits Cdk7 to be fully active as a Cdk-activating kinase

Mms19 encodes a cytosolic iron-sulphur assembly component. We found that Drosophila Mms19 is also essential for mitotic divisions and for the proliferation of diploid cells. Reduced Mms19 activity causes severe mitotic defects in spindle dynamics and chromosome segregation, and loss of zygotic Mms19 prevents the formation of imaginal discs. The lack of mitotic tissue in Mms19P/P larvae can be r...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 1994